Semi-empirical Parameters in pi-Electron Systems. I. Method and Application to Pure Hydrocarbons.
نویسندگان
چکیده
منابع مشابه
Parameters in Pure Type Systems
In this paper we study the addition of parameters to typed -calculus with definitions. We show that the resulting systems have nice properties and illustrate that parameters allow for a better fine-tuning of the strength of type systems as well as staying closer to type systems used in practice in theorem provers and programming languages. 1 What are parameters? Parameters occur when functions ...
متن کاملElectron beam irradiation method to change polypropylene application: Rheology and thermomechanical properties
Irradiation of polymers is one of the most effective and economical methods for modifying their properties and for changing their applications. In this study, an extrusion grade polypropylene (PP) was treated by electron beam irradiation to produce a PP suitable for injection molding. Irradiation was carried out at different doses (0-80 kGy) under atmosphere air and at ambient temperature. Melt...
متن کاملMicro-Computed Tomography Semi-Empirical Beam Hardening Correction: Method And Application To Meteorites
............................................................................................................................. ii Acknowledgments ............................................................................................................ iii Table of Contents .............................................................................................................. v List of ...
متن کاملA Semi-empirical Model to Predict Diesel Engine Combustion Parameters
To carry out the investigation, a cylinder pressure model was developed based on the position of the crankshaft, engine load, engine speed, and fuel injection time. This model takes into account the maximum number of parameters involved. The accuracy of the model was verified by experimental results. The average error of the cylinder pressure, the average radical of the square of the error of t...
متن کاملEmbedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calculus modulo. We show in this paper that this simple extension is surprisingly expressive and, in particular, that all functional Pure Type Systems, such as the system F, or the Calculus of Constructions, can be embedde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Chemica Scandinavica
سال: 1967
ISSN: 0904-213X
DOI: 10.3891/acta.chem.scand.21-0233